Minimizing the Information Leakage Regarding High-Level Task Specifications
نویسندگان
چکیده
منابع مشابه
Motion Planning with Safety Constraints and High-Level Task Specifications
The formalism of linear temporal logic (LTL) [2] is increasingly being used to express task specifications in robotics, automation, and manufacturing. Its expressiveness, coupled with its ease of use, makes it suitable for numerous scenarios. LTL alone, however, just expresses temporal relationships and misses the ability to model the unavoidable uncertainty emerging in interactions with the ph...
متن کاملMinimizing leakage power in aging-bounded high-level synthesis with design time multi-Vth assignment
Aging effects (such as Negative Bias Temperature Instability (NBTI)) can cause the temporal degradation of threshold voltage of transistors, and have become major reliability concerns for deep-submicron (DSM) designs. Meanwhile, leakage power dissipation becomes dominant in total power as technology scales. While multi-threshold voltage assignment has been shown as an effective way to reduce le...
متن کاملconsequence analysis of the leakage, ignition and explosion during high pressure sour gas injection process to the oil reservoir
there is no doubt that human being needs to become integrated with industry and industry needs to be progressed, daily. on the other hand, serious events in industrial units specially in oil industries has been shown that such damages and events are industry related ones. the consequence of such events and damages which resulted in chemical and poisoned explosions and loss of life and property ...
High-Level Executable Specifications of Distributed Algorithms
This paper describes a method for specifying complex distributed algorithms at a very high yet executable level, focusing in particular on general principles for making properties and invariants explicit while keeping the control flow clear. This is critical for understanding the algorithms and proving their correctness. It is also critical for generating efficient implementations using invaria...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.2359